$\forall$$a$:$\mathbb{N}$, $n$:$\mathbb{N}^{+}$, $r$:$\mathbb{N}$. Rem($a$;$n$;$r$) $\in$ $\mathbb{P}_{1}$